Monoidal Functors, Acyclic Models and Chain Operads
نویسنده
چکیده
We prove that for a topological operad P the operad of oriented cubical chains, C ∗ (P ), and the operad of singular chains, S∗(P ), are weakly equivalent. As a consequence, C ord ∗ (P ;Q) is formal if and only if S∗(P ;Q) is formal, thus linking together some formality results that are spread out in the literature. The proof is based on an acyclic models theorem for monoidal functors. We give different variants of the acyclic models theorem and apply the contravariant case to study the cohomology theories for simplicial sets defined by R-simplicial differential graded algebras.
منابع مشابه
Co-rings over Operads Characterize Morphisms
Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in the category of P-bimodules. The co-ring R induces a natural “fattening” of the category of P-(co)algebras, expanding the morphism sets while leaving the objec...
متن کاملCombinatoric N-fold Categories and N-fold Operads
Operads were originally defined as V-operads, that is, enriched in a symmetric or braided monoidal category V. The symmetry or braiding in V is required in order to describe the associativity axiom the operads must obey, as well as the associativity that must be a property of the action of an operad on any of its algebras. A sequence of categorical types that filter the category of monoidal cat...
متن کاملCombinatorial N-fold Monoidal Categories and N-fold Operads
Operads were originally defined as V-operads, that is, enriched in a symmetric or braided monoidal category V. The symmetry or braiding in V is required in order to describe the associativity axiom the operads must obey, as well as the associativity that must be a property of the action of an operad on any of its algebras. A sequence of categorical types that filter the category of monoidal cat...
متن کاملThe Boardman-vogt Resolution of Operads in Monoidal Model Categories
We extend the W-construction of Boardman and Vogt to operads of an arbitrary monoidal model category with suitable interval, and show that it provides a cofibrant resolution for well-pointed Σ-cofibrant operads. The standard simplicial resolution of Godement as well as the cobar-bar chain resolution are shown to be particular instances of this generalised W-construction.
متن کاملar X iv : q - a lg / 9 70 20 14 v 1 1 0 Fe b 19 97 Higher - Dimensional Algebra III : n - Categories and the Algebra of Opetopes
We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or ‘S-operads’, and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad O there is an elt(O)-operad O+ whose algebras are S-operads over O. Letting I be the initial operad with a one-element set of types, and defining I0+ = I, I(...
متن کامل